Facet browsing currently unavailable
Page 1 of 2716 results
Sort by: relevance publication year
A functional partial semantics for intensional logic. JOURNAL ARTICLE published 1 September 1992 in Notre Dame Journal of Formal Logic |
Existentially Closed Closure Algebras JOURNAL ARTICLE published 1 November 2020 in Notre Dame Journal of Formal Logic |
Non-Fregean Propositional Logic with Quantifiers JOURNAL ARTICLE published 1 January 2016 in Notre Dame Journal of Formal Logic |
Decidability of Fluted Logic with Identity JOURNAL ARTICLE published 1 January 1996 in Notre Dame Journal of Formal Logic |
Rejection and Truth-Value Gaps JOURNAL ARTICLE published 1 October 1999 in Notre Dame Journal of Formal Logic |
Subintuitionistic Logics JOURNAL ARTICLE published 1 January 1994 in Notre Dame Journal of Formal Logic |
A Single Axiom for Set Theory JOURNAL ARTICLE published 1 April 2000 in Notre Dame Journal of Formal Logic |
Nonstandard Functional Interpretations and Categorical Models JOURNAL ARTICLE published 1 January 2017 in Notre Dame Journal of Formal Logic |
Upward Stability Transfer for Tame Abstract Elementary Classes JOURNAL ARTICLE published 1 April 2006 in Notre Dame Journal of Formal Logic |
Basic Predicate Calculus JOURNAL ARTICLE published 1 January 1998 in Notre Dame Journal of Formal Logic |
A Simple Proof and Some Difficult Examples for Hindman's Theorem JOURNAL ARTICLE published 1 January 2012 in Notre Dame Journal of Formal Logic |
Acceptable notation. JOURNAL ARTICLE published 1 January 1982 in Notre Dame Journal of Formal Logic |
Church's Thesis and the Conceptual Analysis of Computability JOURNAL ARTICLE published 1 April 2007 in Notre Dame Journal of Formal Logic |
Some Results and Problems on Complex Germs with Definable Mittag–Leffler Stars JOURNAL ARTICLE published 1 January 2013 in Notre Dame Journal of Formal Logic |
Montague’s Paradox, Informal Provability, and Explicit Modal Logic JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic |
Speech Acts, Categoricity, and the Meanings of Logical Connectives JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic |
Lowness for Difference Tests JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic |
Independence, Relative Randomness, and PA Degrees JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic |
Note on Extending Congruential Modal Logics JOURNAL ARTICLE published 1 January 2016 in Notre Dame Journal of Formal Logic |
Forking in Finite Models JOURNAL ARTICLE published 1 January 2015 in Notre Dame Journal of Formal Logic |